COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	A theme of the book and the course should be programs useful
C00004 ENDMK
C⊗;
A theme of the book and the course should be programs useful
in general problem solving and pattern recognition and also
in proving programs correct.  There should be a chapter concentrating
on the theme, but suitable programs should be introduced throughout
the book as illustrations of various techniques.

	In the course, there should be a fixed term project announced
at the beginning and due just before dead week.  The project should
be immediately comprehensible, so that it can be announced on the
first day.

Here are some ideas for programs:

Boolean simplifier
tautology checker (Wang algorithm and truth table)
substitute into expressions with quantifiers
find the free variables
λ-conversion
unify
find an x st. (at various levels. this is the paradigm of a problem solver)
proof checker
proof strategy trier (interpreter)
problem solving strategy interpreter
PROGITER
make a function iterative
canonical forms of boolean and conditional expressions
simplify algebraic and lisp expressions
representation and order relation and ok function for ordinals less
than ε0.